note
	description: "Summary description for {FALLADOR}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	FALLADOR --Clase que genera fallos deliberados

feature
	ver_si_falla
		is
				-- Intenta ver si es posible ejecutar una operacion o no
		local
			r:RANDOM
			d:DATE_TIME
		do
			!!r.make
			!!d.make_now
			r.set_seed (d.seconds)
			if (((r.next_random (d.seconds)) \\ 10) = 0) then
				fallar
			end
		end

	fallar
		is
				-- Realiza una execpcion a proposito
		local
			r:RANDOM
		do
			r := void
			r.set_seed (31415926)
		end

end
